Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·15h
🔬Refinement Types
How the Lean language brings math to coding and coding to math
amazon.science·16h·
Discuss: Hacker News
🔬Lean
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·6h
📊Static Analysis
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·21h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·6h
✨Effect Handlers
Double Maths First Thing: Issue 30
aperiodical.com·3h
📐Mathematical Art
Unraveling The Thread Events
gbstudiocentral.com·1d
🦀Rust Macros
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🔄Lens Laws
How To Review Code
endler.dev·10h
📏Code Metrics
Why Computer Science Is No Good, Redux
cacm.acm.org·17h
🎯Performance Proofs
GitHub’s internal playbook for building an AI-powered workforce - GitHub Resources
resources.github.com·5h
🗺️Competency Maps
How to build the #1 open source terminal-use agent
letta.com·15h·
Discuss: Hacker News
🖥️Modern Terminals
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·12h·
Discuss: Hacker News
🦀Rust Macros
My take on a "IDE" for Claude Code with activities while you are vibe coding
sssli.de·20h·
Discuss: Hacker News
📝Compiler Design
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·14h
✨Algebraic Effects
Optimal control driven functional electrical stimulation: A scoping review
arxiv.org·6h
⚙️Tape Engineering
Beyond the Wavefunction: Qualia Abstraction Language Mechanics and the Grammar of Awareness
arxiv.org·6h
💻Programming languages
[P] Implementing Einsum
lyadalachanchu.github.io·2d
📐Linear Algebra
Python performance myths and fairy tales
lwn.net·2h·
Discuss: Lobsters, Hacker News
💻Programming languages